base-domain-type(n)
== if bor((n = 1); bor((n = 2); bor((n = 6); (n = 9))))
== ifthen Id
== if (n = 3)
== ifthen :IdLnk  Id
== if (n = 4)
== ifthen :Knd  Id
== if (n = 5) then :Knd  IdLnk if bor((n = 7); (n = 8)) then Knd else top fi  

latex

Definitions	Id, x:A  B(x), IdLnk, if b then t else f fi , bor(p; q), (i = j), #$n, Knd, top
FDL editor aliases	base-domain-type